Nuprl Definition : f-wanted
11,40
postcript
pdf
the rcv(wanted message from
e1
to
j
) == es-first-from(
es
;
e1
;<loc(
e1
),
j
, "$z">;"$wanted")
latex
clarification:
f-wanted{$z,$wanted}(
es
;
e1
;
j
) == es-first-from(
es
;
e1
;<es-loc(
es
;
e1
),
j
, "$z">;"$wanted")
latex
Definitions
es-first-from(
es
;
e
;
l
;
tg
)
,
loc(
e
)
,
<
a
,
b
>
,
"$x"
FDL editor aliases
f-wanted
origin